From e975f10c7fedafb815206d7ae80872b60874f26a Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 1 Feb 2013 21:56:25 -0500 Subject: [PATCH] Make the text look a bit nicer Add a margin around the text, and some space between the title and the body of the info tab. --- demos/gtk-demo/main.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/demos/gtk-demo/main.c b/demos/gtk-demo/main.c index 80a51bcc81..1d185e449f 100644 --- a/demos/gtk-demo/main.c +++ b/demos/gtk-demo/main.c @@ -714,6 +714,7 @@ create_text (GtkTextBuffer **buffer, GTK_SHADOW_IN); text_view = gtk_text_view_new (); + g_object_set (text_view, "margin", 20, NULL); *buffer = gtk_text_buffer_new (NULL); gtk_text_view_set_buffer (GTK_TEXT_VIEW (text_view), *buffer); @@ -903,6 +904,7 @@ main (int argc, char **argv) gtk_text_buffer_create_tag (info_buffer, "title", "font", "Sans 18", + "pixels-below-lines", 10, NULL); g_object_unref (info_buffer); -- 2.30.2